1. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده: \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
2. A course in point set topology
پدیدآورنده: John B. Conway
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Point set theory,، Topology,، Mathematics
رده :
QA
603
.
C66C6
3. A first course in mathematical logic and set theory /
پدیدآورنده: Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
4. An axiomatic approach to geometry
پدیدآورنده: / Francis Borceux
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry,Axiomatic set theory,Mathematics,Geometry,History of Mathematical Sciences,Projective Geometry,MATHEMATICS / Geometry / General, bisacsh
رده :
E-BOOK
5. An introduction to independence for analysts
پدیدآورنده: Dales, H. G.)Harold G.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
6. An introduction to independence for analysts
پدیدآورنده: H.G. Dales, W.H. Woodin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Independence )Mathematics(
رده :
QA
248
.
D34
1987
7. An introduction to independence for analysts
پدیدآورنده: Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
8. Applications of process algebra
پدیدآورنده: / J.C.M. Baeten
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
9. Applications of process algebra
پدیدآورنده: / edited by J.C.M. Baeten. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
رده :
QA
,
76
.
9
,.
M35
,
A6
,
1990
10. Axiomatic method and category theory
پدیدآورنده: / Andrei Rodin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Axiomatic set theory,Categories (Mathematics),Philosophy,Epistemology,Category Theory, Homological Algebra,Mathematical Logic and Foundations
رده :
QA248
11. Bertrand Russel and the origins of the set-theoretic, paradoxesʹ
پدیدآورنده: Garciadiego, Alejandro R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematica ► Set theory ► Paradox. Russell, Bertrand, 1972- 1970 Principles of mathematics
رده :
511
G216b
12. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
پدیدآورنده: Garciadiego Dantan, Alejandro Ricardo.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G2413
1992
13. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
پدیدآورنده: Alejandro R. Garciadiego
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G29
14. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
پدیدآورنده: / Alejandro R. Garciadiego
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
15. Bertrand Russell and the origins of the set-theoretic 'paradoxes', Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
پدیدآورنده: Garciadiego Dantan, Alejandro Ricardo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
رده :
QA
9
.
G2413
1992
16. Bridge to abstract mathematics /
پدیدآورنده: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
17. Canonical Ramsey theory on Polish spaces
پدیدآورنده: Vladimir Kanovei, Marcin Sabok, Jindrich Zapletal
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Ramsey theory,، Polish spaces )Mathematics(
رده :
QA
248
.
K26C3
18. Commutation relations, normal ordering, and stirling numbers /
پدیدآورنده: Toufik Mansour and Matthias Schork
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial set theory,Mathematics
19. Computability in context :
پدیدآورنده: editors, S. Barry Cooper, Andrea Sorbi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
رده :
QA9
.
59
.
C655
2011
20. Descriptive set theory /
پدیدآورنده: Yiannis N. Moschovakis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
رده :
QA248
.
M66
1980eb
